His main work involved applying philosophy to mathematics, the philosophy taking precedence over rigorous mathematical proofs. 그의 주요 작품 수학과 철학을 적용, 철학은 엄격한 수학적 교정 우선 참여.
Cryptography is the branch of mathematics that lets us create mathematical proofs that provide high levels of security . 암호 작성술은 고급 수준의 보안을 제공하는 수학적 증명 을 생성할 수 있도록 해 주는 수학의 한 부류입니다.
He received his doctorate in 1804 writing a thesis giving his view of mathematics, and what constitutes a correct mathematical proof. 그는 1804 년 논문의 수학 박사 학위를받은 그의 관점을 쓰고, 어떤 정확한 수학적 증거가된다.
Hobbes claimed that the algebraic symbols could denote different things such as lines, surfaces or volumes, and therefore were unreliable in mathematical proofs. 홉스는 대수적 기호 라인과 같은 표면이나 볼륨, 따라서 교정에서 수학했다 신뢰할 수있는 다른 것들을 나타내기 주장했다.
This faith in the indubitable certainty of mathematical proofs was sadly shaken around 1900 by the discovery of the antinomies or paradoxes of set theory. 수학 교정의 의심할 여지가 확실한 믿음을 슬프게 이것은 1900 주변 antinomies 설정하거나 이론의 모순의 발견에 의해 흥분했다.